Clone detection via structural abstraction
نویسندگان
چکیده
منابع مشابه
Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection
Structure-oriented approaches in clone detection have become popular in both code-based and model-based clone detection. However, existing methods for capturing structural information in software artifacts are either too computationally expensive to be efficient or too light-weight to be accurate in clone detection. In this paper, we present Exas, an accurate and efficient structural characteri...
متن کاملReasoning by Analogy via Abstraction Reasoning by Analogy via Abstraction
theoremsnametheoremlenabs ag+ ag ag& ag"lemmasass ]x ] (y ] z) = (x ] y) ] z150.71 0.65 0.65 0.78com ]x ] y = y ] x230.92 0.79 0.3{lemc ]com2 ] x ] (y ] z) = y ] (x ] z)150.71 0.65{{lemc ]lemc ] ? ] (y ] x) = y ] ( ? ] x)130.76 0.48 0.40{even ]e(x) e(x ] y)290.82 1.00{{dbl...
متن کاملStructural Counter Abstraction
Depth-Bounded Systems form an expressive class of well-structured transition systems. They can model a wide range of concurrent infinite-state systems including those with dynamic thread creation, dynamically changing communication topology, and complex shared heap structures. We present the first method to automatically prove fair termination of depth-bounded systems. Our method uses a numeric...
متن کاملCross-language Clone Detection
Code duplication is a common software development practice that introduces several similar or identical segments of code, or code clones. In addition, there is currently a trend towards the use of multiple languages in the development of software systems. While there has been much work on clone detection and increased interest in studies of multi-language software systems, there have been no st...
متن کاملSmp-based Clone Detection
Code cloning is a severe problem that negatively affects industrial software and threatens intellectual property. This paper presents a novel approach to detecting cloned software by using a bijection matching technique. The proposed approach focuses on increasing the range of similarity measures and thus enhancing the recall and precision of the detection. This is achieved by extending a well-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software Quality Journal
سال: 2009
ISSN: 0963-9314,1573-1367
DOI: 10.1007/s11219-009-9074-y